Solving Synchronization